par Filiot, Emmanuel ;Mazzocchi, Nicolas ;Raskin, Jean-François ;Sankaranarayanan, Sriram;Trivedi, Ashutosh
Référence Leibniz international proceedings in informatics, 171, page (171-1721), 17
Publication Publié, 2020-08-01
Article révisé par les pairs
Titre:
  • Weighted transducers for robustness verification
Auteur:Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Informations sur la publication:Leibniz international proceedings in informatics, 171, page (171-1721), 17
Statut de publication:Publié, 2020-08-01
Sujet CREF:Généralités
Mots-clés:Fault-tolerance
Quantitative verification
Weighted transducers
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.CONCUR.2020.17
info:scp/85091587138